大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 FAST (Program) 的图书(共364本)

Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

0
索取号：
作者：Puebla、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

0
索取号：
作者：Reps、 Thomas.、Sagiv、 Mooly.、Bauer、 J枚rg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Fast Software Encryption [electronic resource] : 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers

0
索取号：
作者：Nyberg、 Kaisa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

0
索取号：
作者：Audebaud、 Philippe.、Paulin-Mohring、 Christine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program

0
索取号：
作者：Kohlas、 J眉rg.、Meyer、 Bertrand.、Schiper、 Andr茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Fast Software Encryption [electronic resource] : 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers

0
索取号：
作者：Robshaw、 Matthew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Fast Motions in Biomechanics and Robotics [electronic resource] : Optimization and Feedback Control

0
索取号：
作者：Diehl、 Moritz.、Mombaur、 Katja.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematics of Program Construction [electronic resource] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

0
索取号：
作者：Uustalu、 Tarmo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Fast Simulation of Electro-Thermal MEMS [electronic resource] : Efficient Dynamic Compact Models

0
索取号：
作者：Bechtold、 Tamara.、Rudnyi、 Evgenii B.、Korvink、 Jan G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

0
索取号：
作者：Hill、 Patricia M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Aspects in Security and Trust [electronic resource] : Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers

0
索取号：
作者：Dimitrakos、 Theo.、Martinelli、 Fabio.、Ryan、 Peter Y. A.、Schneider、 Steve.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 鈥ಸ, 2004, Revised Selected Papers

0
索取号：
作者：Etalle、 Sandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Fast Software Encryption [electronic resource] : 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers

0
索取号：
作者：Gilbert、 Henri.、Handschuh、 Helena.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Stabilization of Nonlinear Systems Using Receding-horizon Control Schemes [electronic resource] : A Parametrized Approach for Fast Systems

0
索取号：
作者：Alamir、 Mazen.、SpringerLink (Online service)、
出版社：London : Springer London, 2006.

Noise-Induced Phenomena in Slow-Fast Dynamical Systems [electronic resource] : A Sample-Paths Approach

0
索取号：
作者：Berglund、 Nils.、Gentz、 Barbara.、SpringerLink (Online service)、
出版社：London : Springer London, 2006.

Fast Track to MDX [electronic resource]

0
索取号：
作者：Whitehorn、 Mark.、Zare、 Robert.、Pasumansky、 Mosha.、SpringerLink (Online service)、
出版社：London : Springer London, 2006.